Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
821	A Framework for Learning Web Wrappers from the Crowd Valter Crescenzi, Paolo Merialdo, Disheng Qiu Dipartimento di Ingegneria Università degli Studi Roma Tre Via della Vasca Navale, 79 – Rome, Italy Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:06 Logic Statistics Theoretical computer science Bayesian network Networks Wrapper Admissible rule Bayesian inference Negation Supervised learning Algorithm
822	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
823	Theoretical Computer Science–109 www.elsevier.com/locate/tcs Fundamental Study Add to Reading List Source URL: www.gwern.net Language: English - Date: 2015-05-31 23:40:51
824	Provable De-anonymization of Large Datasets with Sparse Dimensions Anupam Datta, Divya Sharma, and Arunesh Sinha Carnegie Mellon University {danupam,divyasharma,aruneshs}@cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:56 Anonymity Privacy Theoretical computer science Auxy Cryptography De-anonymization Differential privacy Recommender system Algorithm Academia
825	Genome Informatics 16(2): 215–Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:59 Process calculi Systems biology Bioinformatics Theoretical computer science Process calculus Gene regulatory network Systems science Differential equation Academia -calculus Stochastic Calculus
826	Microsoft Word - ABCDE_Scientific_Report_Rozanova.doc Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2012-12-14 10:43:01 Algorithm Mathematical logic Theoretical computer science Semantic Web
827	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
828	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
829	Truth vs. Proof in Computational Complexity Boaz Barak∗ September 24, 2012 Theoretical Computer Science is blessed (or cursed?) with many open problems. For some of these questions, such as the P vs N P problem, it see Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2012-09-24 16:01:00
830	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification

UPDATE